(:*******************************************************:)
(: Test: K-CondExpr-2                                    :)
(: Written by: Frans Englich                             :)
(: Date: 2007-11-22T11:31:21+01:00                       :)
(: Purpose: A test whose essence is: `if(()) then false() else true()`. :)
(:*******************************************************:)
if(()) then false() else true()